div.code{margin: 25px 20px;border: 0;padding: 10px;background-color: #f5f2f0;}
code.code{background-color: #f5f2f0;font-family: consolas;font-size: 15px;padding: 2px;}
.keyword{color: #5555ff;font-weight:700}
.builtins{color: #ff1493}
.string{color: #22ff22;font-weight:700}
.others{color: #000}
.comment{color: #ababab;background-color: #fff}
.defines{color: #8b008b}